Tools and Methods for Validation and Verification as requested by ISO26262
نویسندگان
چکیده
The following article will have a look on methods for validation and verification of software requested for safety related systems by ISO26262 (1) (or similar standards) and will point out how some dedicated tools from ETAS may help to fulfill and implement these. A brief introduction into the underlying technology will be given in order to discuss the aspects/use cases where these tools can be used either for simulation purpose or in combination with the final target.
منابع مشابه
Determination of geometric accuracy of radiotherapy fields by port film and DRR using Matlab Graphical User Interface
Introduction: Radiation therapy is one of the methods of cancer treatment. In this method, it is necessary to avoid harming the healthy tissues of the patient which is in the vicinity of the target, as much as possible. Treatment verification is one of the most important steps of radiation therapy which has two usual methods, using Port film and EPID. The accuracy and precision of treatment in ...
متن کاملVerification and Validation of Common Derivative Terms Approximation in Meshfree Numerical Scheme
In order to improve the approximation of spatial derivatives without meshes, a set of meshfree numerical schemes for derivative terms is developed, which is compatible with the coordinates of Cartesian, cylindrical, and spherical. Based on the comparisons between numerical and theoretical solutions, errors and convergences are assessed by a posteriori method, which shows that the approximations...
متن کاملComparative Study between Electronic Portal Imaging Device (EPID) and Cone Beam Computed Tomography (CBCT) for Radiation Treatment Verifications
Introduction: Electronic Portal Imaging Device (EPID) and Cone Beam Computed Tomography (CBCT) are the preferred tools of Image Guided Radiotherapy (IGRT) and Dose Guided Radiotherapy (DGRT) which have been used for Radiotherapy treatment verifications. As a result, the number of publications dealing with these two tools for radiation treatment verification has increased consi...
متن کاملPsychometrics of the self-efficacy instrument of clean intermittent urinary catheterization in patients with neural bladder admitted to rehabilitation hospitals in Tehran in 2019
Background: The incidence of neural bladder is increasing today and these people need catheterization. Intermittent clean urinary catheterization is a low-risk method for the patients. Materials and methods: This was a descriptive methodological and validation research. For content validity, 10 people were selected by purposive method. For face validity, 25 people were chosen by convenience met...
متن کاملAn Automated Formal Verification Flow for Safety Registers
Automotive microcontrollers support an increasing number of safety applications and include various safety mechanisms in order to meet the ISO 26262 standard. Derivatives of product families address different market segments and customers with individual safety requirements. Thus flexibility is needed to adjust the overhead introduced by extra safety circuitry to the actual configurations and s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Softwaretechnik-Trends
دوره 31 شماره
صفحات -
تاریخ انتشار 2011